#include <stdint.h>

uint64_t pc;

uint64_t ir;

uint64_t registers[32];

int fetch()
{
    mem_read_32(pc,&ir,MEM_EX);
}